Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
721	Fuzzy Answer Set Programming: An Introduction Marjon Blondeel, Steven Schockaert, Dirk Vermeir, and Martine De Cock Abstract In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gen Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-02-14 06:07:18 Possibility theory Łukasiewicz logic T-norm Stable model semantics Interpretation Answer set programming T-norm fuzzy logics Fuzzy subalgebra Logic Mathematical logic Fuzzy logic
722	Making Operation-based CRDTs Operation-based Carlos Baquero, Paulo S´ergio Almeida, and Ali Shoker HASLab/INESC TEC and Universidade do Minho, Portugal Abstract. Conflict-free Replicated Datatypes (CRDT) can simplify t Add to Reading List Source URL: gsd.di.uminho.pt Language: English - Date: 2014-03-20 10:53:31 Causal consistency Consensus Model theory Rope Causality Vector clock Computer programming Computing Fault-tolerant computer systems Distributed algorithms
723	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
724	SPECTRA OF SPARSE GRAPHS AND MATRICES ALEXEY SPIRIDONOV Abstract. We begin by briey reviewing the essential results about sparse random graphs. We work primarily in the random graph model Add to Reading List Source URL: lesha.goder.com Language: English - Date: 2011-05-31 10:07:27 Mathematical physics Matrix theory Matroid theory Pseudoforest Dense graph Random matrix Matrix Random graph Tree Mathematics Graph theory Algebra
725	Espejo, R[removed]). "Seeing a case study through a cybernetic epistemological lens" Kybernetes[removed]): [removed]Abstract Purpose – This paper aims to contribute to the understanding of the knowledge that Beer’s Add to Reading List Source URL: www.syncho.com Language: English - Date: 2011-12-04 14:10:10 Science Formal sciences Cybernetics Control theory Robotics Viable system model Logic University Knowledge Academia Systems theory
726	BSM Abstract Paper Abstract paper on the thesis Basic Structures of Matter (Thesis about matter, space and time) S. Sarg Abstract of the paper. A model of unified field theory is Add to Reading List Source URL: www.helical-structures.org Language: English - Date: 2004-01-30 16:44:40 Leptons Chemical bonding Baryons Electron Proton Subatomic particle Pauli exclusion principle Spin Atomic orbital Physics Spintronics Particle physics
727	Extending the Technology Acceptance Model to Account for Social Influence: Theoretical Bases and Empirical Validation Yogesh Malhotra BRINT Research Institute [removed] Abstract Add to Reading List Source URL: www.brint.org Language: English - Date: 2007-07-02 20:16:27 Ethology Behavioural sciences Marketing Product management Technological change Technology acceptance model Social influence Theory of reasoned action Internalization Behavior Sociology Social psychology
728	Hierarchical fusion of expert opinions in the Transferable Belief Model, application to climate sensitivity∗ Minh Ha-Duong† May 19, 2008 Abstract Add to Reading List Source URL: minh.haduong.com Language: English - Date: 2008-05-19 13:51:12 Transferable belief model Probability and statistics Mathematics Imprecise probability Ordinal number Probability Independence Probability space Probability theory Statistics Dempster–Shafer theory
729	Supplementary Methods To determine whether a time series reflects linear or nonlinear processes we compare the out-of-sample forecast skill of a linear model versus an equivalent nonlinear model. To do this, we apply a t Add to Reading List Source URL: simplex.ucsd.edu Language: English - Date: 2008-08-06 22:20:19 Abstract algebra Data analysis Polytopes Simplex Topology Singular value decomposition Chaos theory Vector space Embedding Algebra Mathematics Linear algebra
730	Real-time model uncertainty in the United States: the Fed from[removed]Robert J. Tetlow∗and Brian Ironside. Federal Reserve Board First draft: September 22, 2004 This draft: February 10, 2005 Abstract Add to Reading List Source URL: www.ecb.europa.eu Language: English - Date: 2005-05-04 08:01:43 Economic theories New classical macroeconomics Monetary policy Macroeconomic model Economic model Dynamic stochastic general equilibrium Taylor rule Inflation General equilibrium theory Macroeconomics Economics New Keynesian economics

UPDATE